A Note on 3×3-valued ?ukasiewicz Algebras with Negation

نویسندگان

چکیده

In 2004, C. Sanza, with the purpose of legitimizing study \(n\times m\)-valued ?ukasiewicz algebras negation (or \(\mathbf{NS}_{n\times m}\)-algebras) introduced \(3 \times 3\)-valued negation. Despite various results obtained about m}\)-algebras, structure free for this variety has not been determined yet. She only a bound their cardinal number finite generators. note we describe finitely generated \(NS_{3 3}\)-algebras and determine formula to calculate its in terms Moreover, obtain lattice \(\Lambda(\mathbf{NS}_{3\times 3})\) all subvarieties \(\mathbf{NS}_{3\times 3}\) show that varieties Boolean algebras, three-valued four-valued are proper 3}\).

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Note on Negation in Categorial Grammar

A version of strong negation is introduced into Categorial Grammar. The resulting syntactic calculi turn out to be systems of connexive logic.

متن کامل

On Valued Negation Normal Form Formulas

Subsets of the Negation Normal Form formulas (NNFs) of propositional logic have received much attention in AI and proved as valuable representation languages for Boolean functions. In this paper, we present a new framework, called VNNF, for the representation of a much more general class of functions than just Boolean ones. This framework supports a larger family of queries and transformations ...

متن کامل

QUANTALE-VALUED SUP-ALGEBRAS

Based on the notion of $Q$-sup-lattices (a fuzzy counterpart of complete join-semilattices valuated in a commutative quantale), we present the concept of $Q$-sup-algebras -- $Q$-sup-lattices endowed with a collection of finitary operations compatible with the fuzzy joins. Similarly to the crisp case investigated in cite{zhang-laan}, we characterize their subalgebras and quotients, and following...

متن کامل

A Note on Spectrum Preserving Additive Maps on C*-Algebras

Mathieu and Ruddy proved that if be a unital spectral isometry from a unital C*-algebra Aonto a unital type I C*-algebra B whose primitive ideal space is Hausdorff and totallydisconnected, then is Jordan isomorphism. The aim of this note is to show that if be asurjective spectrum preserving additive map, then is a Jordan isomorphism without the extraassumption totally disconnected.

متن کامل

A Note on CI-Algebras

In this paper, we considered ideal and filter of CI-algebra, and some fundamental properties to CI-algebras are discussed. Mathematics Subject Classification: 06F35, 03G25, 08A30

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Bulletin of the Section of Logic

سال: 2021

ISSN: ['2449-836X', '0138-0680']

DOI: https://doi.org/10.18778/0138-0680.2021.10